import __00SetRelation as sr
import _00SetFunc as ss

#构建偏序集，然后判断是否为偏序集
R=ss.powerset(range(4))
Ps=sr.powerparset(R)
tv=sr.ispartialorder(R,Ps)
ss.drawgraph(Ps)
print("R",R)
print("len(Ps)",len(Ps))
print(tv)